A pointer is not 32 bit on all platforms.