generic 
    type T is private;
    Obj : T;
package Layered_Abstraction_P is
   Obj2 : T := Obj; 
end;