2003-11-26.07:32:21 [BUILD] del prodcons.oz.exe
2003-11-26.07:32:21 [BUILD] c:\mozart\bin\ozc.exe -x prodcons.oz -o prodcons.oz.exe
[RUN] prodcons.oz.exe 10000 -- OK
[RUN] prodcons.oz.exe 10000 -- OK
[RUN] prodcons.oz.exe 10000 -- OK
[RUN] prodcons.oz.exe 30000 -- OK
[RUN] prodcons.oz.exe 30000 -- OK
[RUN] prodcons.oz.exe 30000 -- OK
[RUN] prodcons.oz.exe 70000 -- OK
[RUN] prodcons.oz.exe 70000 -- OK
[RUN] prodcons.oz.exe 70000 -- OK
[RUN] prodcons.oz.exe 100000 -- OK
[RUN] prodcons.oz.exe 100000 -- OK
[RUN] prodcons.oz.exe 100000 -- OK