K 10
svn:author
V 3
nik
K 8
svn:date
V 27
2001-05-18T14:07:51.000000Z
K 7
svn:log
V 105
I appear to be badly out of practice.  Remember to flush the output stream
when mixing printf and write.

END