Symbol: upper_32_bits