MODULE Main;

IMPORT Test, Wr, Stdio, Fmt;
<*FATAL ANY*>

TYPE
  Int32A = BITS 32 FOR [16_80000000..16_7FFFFFFF];
  Int32B = (*BITS 32 FOR*) [16_80000000..16_7FFFFFFF];

  EventIDA = ARRAY [0..1] OF Int32A; (* lsw..msw *)
  EventIDB = ARRAY [0..1] OF Int32B; (* lsw..msw *)

  WireRep_T = ARRAY [0..15] OF BITS 8 FOR [0..255];

TYPE
  Key = WireRep_T;
  ValueA = RECORD 
    dirty: BOOLEAN;
    keep:  BOOLEAN;
    ts: EventIDA;
  END;
  ValueB = RECORD 
    dirty: BOOLEAN;
    keep:  BOOLEAN;
    ts: EventIDB;
  END;

TYPE
  EntryA = RECORD  
      key: Key; 
      value: ValueA;
      occupied: BOOLEAN;
    END;
  EntryB = RECORD  
      key: Key; 
      value: ValueB;
      occupied: BOOLEAN;
    END;

  Buckets = REF ARRAY OF EntryA;


PROCEDURE Out (tag: TEXT;  val: INTEGER) =
  BEGIN
    Wr.PutText (Stdio.stderr, tag);
    Wr.PutText (Stdio.stderr, " = ");
    Wr.PutText (Stdio.stderr, Fmt.Int (val));
    Wr.PutText (Stdio.stderr, "\n");
  END Out;

BEGIN
  Out ("Int32", BITSIZE (Int32A));
  Test.checkI (BITSIZE (Int32A), BITSIZE (Int32B));
  Out ("EventID", BITSIZE (EventIDA));
  Test.checkI (BITSIZE (EventIDA), BITSIZE (EventIDB));
  Out ("WireRep_T", BITSIZE (WireRep_T));
  Out ("Key", BITSIZE (Key));
  Out ("Value", BITSIZE (ValueA));
  Test.checkI (BITSIZE (ValueA), BITSIZE (ValueB));
  Out ("Entry", BITSIZE (EntryA));
  Test.checkI (BITSIZE (EntryA), BITSIZE (EntryB));
  Out ("Buckets", BITSIZE (Buckets));
  Test.done ();
END Main.