nspk.maude 2.04 KB