OFFSET
0,1
CROSSREFS
KEYWORD
nonn
AUTHOR
Patrick De Geest, Apr 15 1998
STATUS
approved