<> <> PackingTest: CEDAR DEFINITIONS = BEGIN ThreeBitEnum: TYPE = {one, two, three, four, five}; Array: TYPE = ARRAY [0 .. 16) OF ThreeBitEnum; ArraySize: CARDINAL = SIZE[Array]; PackedArray: TYPE = PACKED ARRAY [0 .. 16) OF ThreeBitEnum; PackedArraySize: CARDINAL = SIZE[PackedArray]; Size240Three: CARDINAL = SIZE[PACKED ARRAY [0 .. 240) OF ThreeBitEnum]; Record: TYPE = RECORD [a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p: ThreeBitEnum]; RecordSize: CARDINAL = SIZE[Record]; MDRecord: TYPE = MACHINE DEPENDENT RECORD [a, b, c, d, e, f, g, h, i, j, k, l, m, n, o, p: ThreeBitEnum]; MDRecordSize: CARDINAL = SIZE[MDRecord]; ThreeThree: TYPE = MACHINE DEPENDENT RECORD [a, b, c: ThreeBitEnum]; <> <> <> <> NineThree: TYPE = PACKED ARRAY [0 .. 9) OF ThreeBitEnum; Size240NineThree: CARDINAL = SIZE[PACKED ARRAY [0 .. 240) OF NineThree]; ThreeNineThree: TYPE = MACHINE DEPENDENT RECORD [ a: NineThree, b: NineThree, c: NineThree]; MDThreeNineThree: TYPE = MACHINE DEPENDENT RECORD [ a(0:0..47): NineThree, b(3:0..47): NineThree, c(6:0..47): NineThree]; GenerosityTest: TYPE = MACHINE DEPENDENT RECORD [ a(0:0..7): BOOLEAN, b(0:8..15): [0 .. 256)]; END.