pointer size problem, changed to uintptr_t, a foolish casting...