Symbol: INS_TO_REG