K 10
svn:author
V 7
wollman
K 8
svn:date
V 27
1996-07-25T18:31:08.000000Z
K 7
svn:log
V 163
Refer to the ASCII character 000 by its proper name, `NUL', and not
`NULL' (which should only be used in reference to null pointers).  Also
fix a cross-reference.

END