K 10 svn:author V 6 marcel K 8 svn:date V 27 2004-05-28T02:50:43.000000Z K 7 svn:log V 93 Fix LP64 environments: cast a pointer type to intptr_t before casting to int and vice versa. END