K 10 svn:author V 7 wollman K 8 svn:date V 27 1996-11-20T15:23:40.000000Z K 7 svn:log V 123 For some reason the merge of this file didn't get committed properly. Who has the conical hat? Make things compile again. END