64-bit pointer to int fixes.