K 10 svn:author V 3 jhb K 8 svn:date V 27 2005-11-09T15:15:59.000000Z K 7 svn:log V 74 Use intptr_t casts to convert void * <--> int to make 64-bit archs happy. END