Symbol: add_int_control_line