MODULE Cover;

   IMPORT Cell;
   
   TYPE P* = POINTER TO T;
        T* = RECORD ( Cell.T ) END;
       
END Cover.