package myAccess is

--(14) 
--Example of a recursive type: 
--(15)
       type Cell;  --  incomplete type declaration
       type Link is access Cell;
--(16)
       type Cell is
          record
             Value  : Integer;
             Succ   : Link;
             Pred   : Link;
          end record;
--(17)
       Head   : Link  := new Cell'(0, null, null);
       Next   : Link  := Head.Succ;
end myAccess;