That value would be different on 32-bit and is undefined anyway