package body Foo is
   procedure F1 is
   begin
      null;
   end F1;
   procedure F2 (I : Integer) is
   begin
      null;
   end F2;
   procedure F3 (F : Float) is
   begin
      null;
   end F3;
end Foo;
