*******************************************************
                           Listing of SPARK Text
       SPARK95 Examiner with VC and RTC Generator Release 7.3 / 01.06
                           Demonstration Version
          *******************************************************


                       DATE : 28-FEB-2010 12:06:46.06

Line
   1  with Spark_IO;
   2  --# inherit Spark_IO;
   3  package MyIO is
   4     procedure Put_Integer (Item  : in Integer;
   5                            Width : in Natural );
   6     --# global in out Spark_IO.Outputs;
   7     --# derives Spark_IO.Outputs from *, Item, Width;
   8  end MyIO;


--End of file--------------------------------------------------