1 2 3 4 5
generic type T; with procedure Foo (X : not null access T) is null; with procedure Bar (X : not null access T) is null; package Generic_Inst2_C is end;