don't assume that a pointer is always 64 bit