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


                       DATE : 19-FEB-2010 10:53:12.72

Line
   1  with 	RandomNumbers,
   2       	SPARK_IO,
   3    	MyIO;
   4  --# inherit RandomNumbers,
   5  --#	    SPARK_IO,
   6  --#         MyIO;
   7  
   8  --# main_program;
   9  procedure Main
  10  --# global in out RandomNumbers.State,
  11  --#               SPARK_IO.Outputs;
  12  
  13  --# derives RandomNumbers.State from *
  14  --# &	    Spark_IO.Outputs from *,RandomNumbers.State;
  15  is
  16    X : Float;
  17  begin
  18    RandomNumbers.Random(X);
  19    MyIO.Put_Integer( Integer(X * 10.0), 0 );
  20  end Main;

+++        Flow analysis of subprogram Main performed: no 
           errors found.



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