[RUN] c:\cygwin\usr\local\bin\mawk.exe -f hash.mawk 20000 -- OK
[RUN] c:\cygwin\usr\local\bin\mawk.exe -f hash.mawk 20000 -- OK
[RUN] c:\cygwin\usr\local\bin\mawk.exe -f hash.mawk 20000 -- OK
[RUN] c:\cygwin\usr\local\bin\mawk.exe -f hash.mawk 40000 -- OK
[RUN] c:\cygwin\usr\local\bin\mawk.exe -f hash.mawk 40000 -- OK
[RUN] c:\cygwin\usr\local\bin\mawk.exe -f hash.mawk 40000 -- OK
[RUN] c:\cygwin\usr\local\bin\mawk.exe -f hash.mawk 60000 -- OK
[RUN] c:\cygwin\usr\local\bin\mawk.exe -f hash.mawk 60000 -- OK
[RUN] c:\cygwin\usr\local\bin\mawk.exe -f hash.mawk 60000 -- OK
[RUN] c:\cygwin\usr\local\bin\mawk.exe -f hash.mawk 80000 -- OK
[RUN] c:\cygwin\usr\local\bin\mawk.exe -f hash.mawk 80000 -- OK
[RUN] c:\cygwin\usr\local\bin\mawk.exe -f hash.mawk 80000 -- OK