K 10 svn:author V 3 imp K 8 svn:date V 27 2009-07-06T07:43:50.156042Z K 7 svn:log V 105 Use better casts for passing the small integer as a pointer here. Basically, replace int with uintptr_t. END