-- TestSubject.kipper
-- Sturgis, January 3, 1986 2:29:51 pm PST

TestSubject: MODULE =
BEGIN
x: TYPE = y;
y: TYPE = RECORD[a,b: INT];
z: TYPE = {a, b, c};
w: TYPE = REF u;
a: TYPE = REF a; -- was REF ANY;
s: TYPE = LIST OF u;
u: TYPE = INT;

B: TYPE = LIST OF LIST OF z;
C: TYPE = LIST OF REF z;
D: TYPE = REF LIST OF z;


A: TYPE = REF ABody;
ABody: TYPE = RECORD[
    x: INT, y: INT, prev: A, next: A];

X: TYPE = ROPE;
X1: TYPE = REF ROPE;
X2: TYPE = LIST OF ROPE;

Z1: TYPE = LIST OF REF ANY;

W1: TYPE = RECORD[x: INT, y: BOOLEAN, s: SEQUENCE nItems: CARDINAL OF Item];
Item: TYPE = REF ItemBody;
ItemBody: TYPE = RECORD[z, b: INT];

W2: TYPE = RECORD[
    cardinal: CARDINAL,
    int: INT,
    boolean: BOOLEAN,
    rope: ROPE,
    bool: BOOL,
    char: CHAR,
    character: CHARACTER,
    integer: INTEGER,
    nat: NAT,
    real: REAL,
    word: WORD,
    card: CARD];

END.