*.cm[iox] *.o proofChecker proofChecker.opt