Use intptr_t to cast pointer