Because of order of shifting operations and a literal that defaulted to int, the high 32 bits were printed incorrectly.