https://digitalixy.com/tech/maude/812441/wc-command-in-linux/