&c5-mawk-inst; &aa-mawk-desc;