Redirection stub.