(method (int arg0) (int arg1) (int arg2)
  // Label Frame6
  int phi0 = 0
  int phi1 = 10
  // Label Frame10
  (block loop LoopHeaderNode_3
    (if (phi0 >= arg0)
      // Label Frame35
      return arg0
    (else)
      // Label Frame23
      // Label Frame31
      phi0 = (phi0 + 1)
      phi1 = (phi1 + (phi0 + (arg1 + arg2)))
      continue LoopHeaderNode_3
    )
  )
)