K 10
svn:author
V 3
bde
K 8
svn:date
V 27
1998-02-25T06:41:47.000000Z
K 7
svn:log
V 120
Added a used #include.

"options KEY" is not in LINT, and consequently doesn't actually compile,
even with this change.

END