(method (MathTest this) (double arg0) (double arg1)
  // Label Frame3
  return (arg0 * arg1)
)