MODULE tminmax2;
// MIN/MAX over REAL/LONGINT and gm2 sized type names.
VAR r : REAL; l : LONGINT; a : LONGCARD; k : INTEGER32;
VAR ExitCode : INTEGER;
BEGIN
  r := MAX(REAL); l := MAX(LONGINT); a := 5; k := 7;
  IF (r > 0.0) AND (l > 0) AND (a = 5) AND (k = 7) THEN ExitCode := 42
  ELSE ExitCode := 1 END
END tminmax2.