package Foo is
   function F
     (X : Integer)
      return Integer with
     Import;
   --  An awesome function
   --  An awesome function.
   --  @param x One of its parameters.

   function Biiiiiiiiiiiiiiiiiiiiiiiiiig_F
     (X : Integer)
      return Integer with
     Import;
   --  An awesome function
   --  An awesome function.
   --  @param x One of its parameters.

   function Another_Biiiiiiiiiiiiiiiiiiiiiiiiiig_F
     (X :     Integer;
      Y : out Integer)
      return Integer with
     --  Something about Pre
     Pre  => X < 10,
     --  Something about Post
     Post => Y > X;
   --  An awesome function
   --  An awesome function.
   --  @param x One of its parameters.
end Foo;
