lang.mc lang2.mc pisys.mc map.mc main.mc bs.mc cont.mc slh.mc ^
arith.mc kint.mc jmc.mc iocom.mc lisp.mc lispm1.mc lispm2.mc ^
checker.mc patches.mc ^
mpdp1.cm mpdp2.cm m12sources.cm m12storeonmaxc1.cm m12saveonifs.cm ^