Symbol: to_HI_mode