package ABE_Pkg is
   procedure ABE;

   generic
   package Gen is
      procedure Force_Body;
   end Gen;
end ABE_Pkg;