Output redirection works with no garbage