Symbol: ir_to_input2