K 10 svn:author V 3 jhb K 8 svn:date V 27 2002-11-07T21:19:47.000000Z K 7 svn:log V 153 Print pointers with %p instead of casting them to an unsigned int and then printing them with 0x%x which doesn't work when sizeof(void *) > sizeof(int). END