Use shorthand stream redirection