M2compiler-V3/compiler/tests/t_setword.mod

MODULE TSetWord;
// VAL/CAST between a set and its machine word (BITSET <-> CARDINAL).
// Exit 42.
VAR b : BITSET;
    c : CARDINAL;
    ExitCode : INTEGER;
BEGIN
  b := BITSET{1, 2};
  c := VAL(CARDINAL, b);          (* 6 *)
  b := CAST(BITSET, c);           (* {1,2} *)
  IF (c = 6) AND (b = BITSET{1, 2})
  THEN ExitCode := 42 ELSE ExitCode := 1 END
END TSetWord.