give up the idea that pointers are int