K 10 svn:author V 3 bde K 8 svn:date V 27 1997-03-19T19:47:43.000000Z K 7 svn:log V 87 Fixed missing #include(s) (mostly of in synopsis). Reviewed by: wollman END