sure it's 64 in 32-bit?