[RUN] c:\cygwin\bin\gawk.exe -f wc.gawk 500 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f wc.gawk 500 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f wc.gawk 500 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f wc.gawk 1000 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f wc.gawk 1000 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f wc.gawk 1000 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f wc.gawk 1500 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f wc.gawk 1500 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f wc.gawk 1500 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f wc.gawk 2000 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f wc.gawk 2000 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f wc.gawk 2000 -- OK