Use intptr_t and uintptr_t for integer/pointer conversions