M2compiler-V3/compiler/tests/math_prog.mod

MODULE MathProg;
(* Math library: sqrt + sin via libm. Exit 12. *)
FROM Math IMPORT sqrt, sin;
VAR ExitCode : INTEGER;
VAR r : REAL;
BEGIN
  r := sqrt(144.0) + sin(0.0);
  IF r > 11.9 THEN ExitCode := 12 ELSE ExitCode := 0 END
END MathProg.