ret {
      key: "output_1"
      value: "while_maximum_iterations"
    }
    ret {
      key: "output_2"
      value: "Add:z:0"
    }
  }
  function {
    signature {
      name: "while_cond_5"
      input_arg {
        name: "while_loop_counter"
        type: DT_INT32
      }
      input_arg {
        name: "while_maximum_iterations"
        type: DT_INT32
      }
      input_arg {