Bit shifting by 32 bits is undefined.