2003-11-25.17:56:40 [BUILD] del ackermann.oz.exe 2003-11-25.17:56:40 [BUILD] c:\mozart\bin\ozc.exe -x ackermann.oz -o ackermann.oz.exe [RUN] ackermann.oz.exe 4 -- OK [RUN] ackermann.oz.exe 4 -- OK [RUN] ackermann.oz.exe 4 -- OK [RUN] ackermann.oz.exe 5 -- OK [RUN] ackermann.oz.exe 5 -- OK [RUN] ackermann.oz.exe 5 -- OK [RUN] ackermann.oz.exe 6 -- OK [RUN] ackermann.oz.exe 6 -- OK [RUN] ackermann.oz.exe 6 -- OK [RUN] ackermann.oz.exe 7 -- OK [RUN] ackermann.oz.exe 7 -- OK [RUN] ackermann.oz.exe 7 -- OK [RUN] ackermann.oz.exe 8 -- OK [RUN] ackermann.oz.exe 8 -- OK [RUN] ackermann.oz.exe 8 -- OK