[RUN] c:\cygwin\bin\gawk.exe -f random.gawk 1000 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f random.gawk 1000 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f random.gawk 1000 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f random.gawk 300000 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f random.gawk 300000 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f random.gawk 300000 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f random.gawk 600000 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f random.gawk 600000 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f random.gawk 600000 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f random.gawk 900000 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f random.gawk 900000 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f random.gawk 900000 -- OK