input redirection.