(method (int arg0)
  // Label Frame1
  return (arg0 + 1)
)