64-bit safe typedefs