commands.maude 90 Bytes