Symbol: change_sign32_le