[RUN] c:\cygwin\bin\gawk.exe -f regexmatch.gawk 1 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f regexmatch.gawk 1 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f regexmatch.gawk 1 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f regexmatch.gawk 3000 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f regexmatch.gawk 3000 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f regexmatch.gawk 3000 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f regexmatch.gawk 6000 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f regexmatch.gawk 6000 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f regexmatch.gawk 6000 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f regexmatch.gawk 9000 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f regexmatch.gawk 9000 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f regexmatch.gawk 9000 -- OK