K 10 svn:author V 7 wollman K 8 svn:date V 27 1998-09-15T01:49:32.000000Z K 7 svn:log V 68 Replace accidentally-deleted `x' which caused warnx() to misbehave. END