:
:
:

(TYPE GLUE-RATIO REAL)

(TYPE QUARTERWORD (RANGE 0 255))

(TYPE HALFWORD (RANGE 0 65535))

(TYPE TWO-CHOICES (RANGE 1 2))

(TYPE FOUR-CHOICES (RANGE 1 4))

(TYPE TWO-HALVES
      (PACKED (RECORD
               (RH HALFWORD)
               (CASE (COMMON-LISP:NIL TWO-CHOICES)
                 ((1) (LH HALFWORD))
                 ((2) (B0 QUARTERWORD)
                      (B1 QUARTERWORD))))))

(TYPE FOUR-QUARTERS
      (PACKED (RECORD
               (B0 QUARTERWORD)
               (B1 QUARTERWORD)
               (B2 QUARTERWORD)
               (B3 QUARTERWORD))))

(TYPE MEMORY-WORD
      (RECORD
       (CASE (COMMON-LISP:NIL FOUR-CHOICES)
             ((1) (INT INTEGER))
             ((2) (GR GLUE-RATIO))
             ((3) (HH TWO-HALVES))
             ((4) (QQQQ FOUR-QUARTERS)))))

:
:
:
(VAR MEM (ARRAY MEMORY-WORD (RANGE MEM-MIN MEM-MAX)))
:
:
: