MODULE TConstBuiltin;
// CONST initialisers that call builtins over immediates: CAP, ABS, ODD
// and MIN/MAX of a set type all fold to a scalar constant.  Exit 42.
TYPE CS = SET OF [3..20];
CONST A  = CAP('a');
      B  = ABS(-7);
      C  = ODD(9);
      D  = ODD(4);
      Z  = CAP(VAL(CHAR, 97));
      Lo = MIN(CS);
      Hi = MAX(CS);
VAR ExitCode : INTEGER;
BEGIN
  IF (A = 'A') AND (Z = 'A') AND (B = 7) AND C AND NOT D
     AND (Lo = 3) AND (Hi = 20)
  THEN ExitCode := 42 ELSE ExitCode := 1 END
END TConstBuiltin.