Symbol: to_imr