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