(method (MathTest this) (double arg0) (double arg1)
  // Label Frame3
  double var0 = (arg0 % arg1)
  return var0
)