cc.maude 1.66 KB