socket.maude 2.78 KB