K 10 svn:author V 3 jhb K 8 svn:date V 27 2002-11-08T21:16:27.000000Z K 7 svn:log V 45 Fix a sizeof(int) != sizeof(void *) warning. END