OFFSET
1,5
CROSSREFS
KEYWORD
nonn
AUTHOR
Marko Riedel, Oct 15 2016
STATUS
approved