[RUN] c:\cygwin\bin\gawk.exe -f ackermann.gawk 4 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f ackermann.gawk 4 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f ackermann.gawk 4 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f ackermann.gawk 5 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f ackermann.gawk 5 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f ackermann.gawk 5 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f ackermann.gawk 6 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f ackermann.gawk 6 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f ackermann.gawk 6 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f ackermann.gawk 7 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f ackermann.gawk 7 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f ackermann.gawk 7 -- OK
[RUN] c:\cygwin\bin\gawk.exe -f ackermann.gawk 8 -- TIMEOUT