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

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

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



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