MODULE TSystem;
// ISO/gm2 SYSTEM sized types and the hard-coded SYSTEM pseudo-module:
// qualified SYSTEM.X resolves, WORD32/BITSET32/CARDINAL8/INTEGER16/
// COMPLEX64 exist, and the LOC constants are visible. Exit 42.
IMPORT SYSTEM;
FROM SYSTEM IMPORT WORD32, BITSET32, CARDINAL8, INTEGER16, COMPLEX64,
                        BITSPERLOC, LOCSPERWORD;
TYPE C8 = SYSTEM.CARDINAL8;
VAR ExitCode : INTEGER;
VAR w : WORD32;
VAR b : BITSET32;
VAR c : C8;
VAR i : INTEGER16;
VAR x : COMPLEX64;
BEGIN
  w := 7;
  b := BITSET32{1, 31};
  c := 42;
  i := 5;
  x := 0.0;
  IF (w = 7) AND (31 IN b) AND (c = 42) AND (i = 5)
     AND (BITSPERLOC = 8) AND (LOCSPERWORD = 4) THEN
    ExitCode := 42
  ELSE
    ExitCode := 1
  END
END TSystem.