pointers are not always ints (thanks, John Lauro)