package Ex_Pack1 is
   procedure Put_Factorial
     (I   : in Natural;
      Res : in Positive);
end Ex_Pack1;