Symbol: to_ib_mig_state