MODULE TLower5Lit;
(* Lower slice L5: char/real/string/set literals and IN.  Exit 42. *)
TYPE
  Vec = ARRAY [0..7] OF CHAR;
VAR
  s : Vec;
  r : REAL;
  b : BOOLEAN;
  st : SET OF [0..7];
  i, ExitCode : INTEGER;
BEGIN
  s := "hello";
  r := 2.5;
  st := {1, 3, 5};
  b := 3 IN st;
  i := ORD(s[1]);
  IF b THEN ExitCode := i - 59 ELSE ExitCode := 0 END
END TLower5Lit.