2003-11-26.08:04:45 [BUILD] copy random.gnat random.adb
        1 file copiati.
2003-11-26.08:04:45 [BUILD] del /Q random.o
2003-11-26.08:04:45 [BUILD] del /Q random.gnat.exe
2003-11-26.08:04:45 [BUILD] c:\GNAT\bin\gnatmake.exe -o random.gnat.exe -O3 -gnatp random
gcc -c -O3 -gnatp random.adb
gnatbind -x random.ali
gnatlink -o random.gnat.exe random.ali
2003-11-26.08:04:46 [BUILD] del /Q random.adb
[RUN] random.gnat.exe 1000 -- OK
[RUN] random.gnat.exe 1000 -- OK
[RUN] random.gnat.exe 1000 -- OK
[RUN] random.gnat.exe 300000 -- OK
[RUN] random.gnat.exe 300000 -- OK
[RUN] random.gnat.exe 300000 -- OK
[RUN] random.gnat.exe 600000 -- OK
[RUN] random.gnat.exe 600000 -- OK
[RUN] random.gnat.exe 600000 -- OK
[RUN] random.gnat.exe 900000 -- OK
[RUN] random.gnat.exe 900000 -- OK
[RUN] random.gnat.exe 900000 -- OK