[RUN] c:\regina\rexx.exe ackermann.rexx 4 -- OK
[RUN] c:\regina\rexx.exe ackermann.rexx 4 -- OK
[RUN] c:\regina\rexx.exe ackermann.rexx 4 -- OK
[RUN] c:\regina\rexx.exe ackermann.rexx 5 -- OK
[RUN] c:\regina\rexx.exe ackermann.rexx 5 -- OK
[RUN] c:\regina\rexx.exe ackermann.rexx 5 -- OK
[RUN] c:\regina\rexx.exe ackermann.rexx 6 -- OK
[RUN] c:\regina\rexx.exe ackermann.rexx 6 -- OK
[RUN] c:\regina\rexx.exe ackermann.rexx 6 -- OK
[RUN] c:\regina\rexx.exe ackermann.rexx 7 -- OK
[RUN] c:\regina\rexx.exe ackermann.rexx 7 -- OK
[RUN] c:\regina\rexx.exe ackermann.rexx 7 -- OK
[RUN] c:\regina\rexx.exe ackermann.rexx 8 -- OK
[RUN] c:\regina\rexx.exe ackermann.rexx 8 -- OK
[RUN] c:\regina\rexx.exe ackermann.rexx 8 -- OK