MODULE Test; TYPE A = POINTER TO RECORD B : B; END; B = POINTER TO RECORD x : A END; VAR a : A; PROCEDURE Do; TYPE ListPtr = POINTER TO ListNode; ListNode = RECORD next: ListPtr END; BEGIN END Do; BEGIN NEW(a); a.B := NIL; END Test.