package Reference_Counting is
type Reference_Counted is abstract tagged private;
type A_Reference_Counted is access all Reference_Counted'Class;
procedure Delete