1(load "../lisp-utils/defsystem.lisp")
2(compiler::emit-fn t)
3(mk::oos "maxima" :compile :verbose t)
4(compiler::make-all-proclaims "*/*.fn" "*/*/*/*.fn")
5