(method (int arg0) (int arg1) (int arg2) (int arg3)
  // Label Frame4
  (if (arg0 <= arg1)
    // Label Frame12
    return arg3
  (else)
    return arg2
  )
)