Symbol: INST_TO