Design of `exec` function allows any `OutputStream`, not just `TeeOutputStream`, why restricting here?