Symbol: change_sign32_be