K 10 svn:author V 3 das K 8 svn:date V 27 2004-02-16T10:02:51.000000Z K 7 svn:log V 65 Fix a typo in the !__GNUC__ case and remove an obsolete comment. END