-- 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.