Symbol: PUT_U32_BE