[RUN] c:\bigforth\bigforth.exe -r 16k prodcons.bigforth 10000 -- OK
[RUN] c:\bigforth\bigforth.exe -r 16k prodcons.bigforth 10000 -- OK
[RUN] c:\bigforth\bigforth.exe -r 16k prodcons.bigforth 10000 -- OK
[RUN] c:\bigforth\bigforth.exe -r 16k prodcons.bigforth 30000 -- OK
[RUN] c:\bigforth\bigforth.exe -r 16k prodcons.bigforth 30000 -- OK
[RUN] c:\bigforth\bigforth.exe -r 16k prodcons.bigforth 30000 -- OK
[RUN] c:\bigforth\bigforth.exe -r 16k prodcons.bigforth 70000 -- OK
[RUN] c:\bigforth\bigforth.exe -r 16k prodcons.bigforth 70000 -- OK
[RUN] c:\bigforth\bigforth.exe -r 16k prodcons.bigforth 70000 -- OK
[RUN] c:\bigforth\bigforth.exe -r 16k prodcons.bigforth 100000 -- OK
[RUN] c:\bigforth\bigforth.exe -r 16k prodcons.bigforth 100000 -- OK
[RUN] c:\bigforth\bigforth.exe -r 16k prodcons.bigforth 100000 -- OK