1 2 3 4 5 6 7 8
\begin{verbatim} -- File and channel names: stdin = "stdin" stdout = "stdout" stderr = "stderr" stdecho = "stdecho" \end{verbatim}