Symbol: ir_to_input1