Use intptr_t for int-to-pointer conversions.