notes on I/O redirection