MODULE TReal;
// REAL vars, literals, CONSTs (zero + flushed), conversions,
// all six comparisons, unary minus on temps. Exit 31.
CONST Half = 0.5;
CONST Pi = 3.14;
CONST Zero = 0.0;
VAR ExitCode : INTEGER;
VAR r, s : REAL;
BEGIN
  r := 3;
  s := 2.0 * r + 1.5;
  IF s > 7.0 THEN ExitCode := 30 ELSE ExitCode := 0 END;
  IF Pi > 3.0 THEN ExitCode := ExitCode + 1 END;
  r := s / 2.5 + Half - 0.5 + (-s) + s + Zero - Zero;
  IF (r = 3.0) AND (r <= 3.0) AND (r >= 3.0) AND (r # 3.5)
     AND (r < 4.0) THEN ExitCode := ExitCode
  ELSE ExitCode := 0
  END
END TReal.