******************************************************* 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--------------------------------------------------