MODULE TReal64;
// SYSTEM sized-real names REAL32/REAL64 resolve, and MIN/MAX of a real
// type fold to its implementation bounds.  Exit 42.
FROM SYSTEM IMPORT REAL64;
VAR min, max : REAL64;
    ExitCode : INTEGER;
BEGIN
  min := MIN(REAL64);
  max := MAX(REAL64);
  IF min < max THEN ExitCode := 42 ELSE ExitCode := 1 END
END TReal64.