Symbol: PUT_BE32