[RUN] c:\regina\rexx.exe random.rexx 1000 -- OK [RUN] c:\regina\rexx.exe random.rexx 1000 -- OK [RUN] c:\regina\rexx.exe random.rexx 1000 -- OK [RUN] c:\regina\rexx.exe random.rexx 300000 -- OK [RUN] c:\regina\rexx.exe random.rexx 300000 -- OK [RUN] c:\regina\rexx.exe random.rexx 300000 -- OK [RUN] c:\regina\rexx.exe random.rexx 600000 -- OK [RUN] c:\regina\rexx.exe random.rexx 600000 -- OK [RUN] c:\regina\rexx.exe random.rexx 600000 -- OK [RUN] c:\regina\rexx.exe random.rexx 900000 -- OK [RUN] c:\regina\rexx.exe random.rexx 900000 -- OK [RUN] c:\regina\rexx.exe random.rexx 900000 -- OK