https://digitalixy.com/tech/maude/427805/how-to-use-the-strings-command-on-linux/