Change this to use "uint32_t" for a 32-bit type, otherwise we can get