the linux tool: wc