commands.maude 88 Bytes