Do not assume int can hold a pointer