Documented redirection.c