[RUN] c:\regina\rexx.exe heapsort.rexx 1000 -- OK
[RUN] c:\regina\rexx.exe heapsort.rexx 1000 -- OK
[RUN] c:\regina\rexx.exe heapsort.rexx 1000 -- OK
[RUN] c:\regina\rexx.exe heapsort.rexx 20000 -- OK
[RUN] c:\regina\rexx.exe heapsort.rexx 20000 -- OK
[RUN] c:\regina\rexx.exe heapsort.rexx 20000 -- OK
[RUN] c:\regina\rexx.exe heapsort.rexx 40000 -- OK
[RUN] c:\regina\rexx.exe heapsort.rexx 40000 -- OK
[RUN] c:\regina\rexx.exe heapsort.rexx 40000 -- OK
[RUN] c:\regina\rexx.exe heapsort.rexx 60000 -- OK
[RUN] c:\regina\rexx.exe heapsort.rexx 60000 -- OK
[RUN] c:\regina\rexx.exe heapsort.rexx 60000 -- OK
[RUN] c:\regina\rexx.exe heapsort.rexx 80000 -- TIMEOUT