There are ways to use 32 bit pointers in 64 bit mode...