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