K 10 svn:author V 6 julian K 8 svn:date V 27 1998-06-06T20:45:28.000000Z K 7 svn:log V 35 Fix wrong data type for a pointer. END