add_channel b ic n
reads exactly n
character from the
input channel ic
and stores them at the end of buffer b
.
Raise End_of_file
if the channel contains fewer than n
characters.
output_buffer oc b
writes the current contents of buffer b
on the output channel oc
.