by a previous call to <code class=
"keyword">open</code> with write access.</li>

<li><code class="keyword">stdout</code></li>

<li><code class="keyword">stderr</code></li>
</ul>
</dd>

<dt><code class="keyword">read</code> <code class=
"arg">?-nonewline?</code> <code class="arg">fileID</code></dt>

<dd>Reads all the remaining bytes from <code class=
"arg">fileID</code>, and returns that string. If <code class=
"keyword">-nonewline</code> is set, then the last character will be
discarded if it is a newline.