nspk.maude 2.21 KB