e
class="keyword">gets</code> returns the line of input. An empty
string will be returned if:</p>

<ul>
<li>There is a blank line in the file.</li>

<li>The current location is at the end of the file. (An EOF
occurs.)</li>
</ul>
</dd>

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

<dd>Writes the characters in string to the stream referenced by
<code class="arg">fileID</code>, where <code class=
"arg">fileID</code> is one of: 

<ul>
<li>The value returned 