2003-11-25.23:27:36 [BUILD] del heapsort.oz.exe 2003-11-25.23:27:36 [BUILD] c:\mozart\bin\ozc.exe -x heapsort.oz -o heapsort.oz.exe [RUN] heapsort.oz.exe 1000 -- OK [RUN] heapsort.oz.exe 1000 -- OK [RUN] heapsort.oz.exe 1000 -- OK [RUN] heapsort.oz.exe 20000 -- OK [RUN] heapsort.oz.exe 20000 -- OK [RUN] heapsort.oz.exe 20000 -- OK [RUN] heapsort.oz.exe 40000 -- OK [RUN] heapsort.oz.exe 40000 -- OK [RUN] heapsort.oz.exe 40000 -- OK [RUN] heapsort.oz.exe 60000 -- OK [RUN] heapsort.oz.exe 60000 -- OK [RUN] heapsort.oz.exe 60000 -- OK [RUN] heapsort.oz.exe 80000 -- OK [RUN] heapsort.oz.exe 80000 -- OK [RUN] heapsort.oz.exe 80000 -- OK