K 10 svn:author V 7 wollman K 8 svn:date V 27 1996-12-11T17:46:33.000000Z K 7 svn:log V 171 Include in the one header that requires it, , rather than in , most of whose callers have no need of it. Pointed-out-by: bde END