generic
   type T1 is private;
package Gen_Formal_Pkg_A is end;