(method (ReturnTest this)
  // Label Frame1
  return 10.0
)