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