MODULE tctor7;
// Set field in a record constructor + constant string concatenation
// folded into a CHAR-array constructor element.
TYPE S = SET OF [0..15];
     R = RECORD name : INTEGER; flags : S END;
     Line = ARRAY [0..11] OF CHAR;
CONST Hi = "Hello";
      Wo = "World";
      HelloWorld = Line { Hi + " " + Wo };
VAR r : R;
VAR ExitCode : INTEGER;
BEGIN
  r := R { 7, S{1,3,5} };
  IF (r.name = 7) AND (1 IN r.flags) AND (5 IN r.flags)
     AND (HelloWorld[0] = 'H') AND (HelloWorld[10] = 'd')
  THEN ExitCode := 42 ELSE ExitCode := 1 END
END tctor7.