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