A demonstration of the difference between redirection input from a file vs. a pipe