&c6-mawk-inst; &aa-mawk-desc;