K 10
svn:author
V 8
christos
K 8
svn:date
V 27
1992-05-15T00:10:03.000000Z
K 24
svn:entry:committed-date
V 27
1992-05-15T00:10:03.000000Z
K 7
svn:log
V 52
flush in printf() so that we don't lose the output


END
