OFFSET
0,1
CROSSREFS
KEYWORD
fini,nonn,full
AUTHOR
STATUS
approved