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
add_channel b ic n
output_buffer oc b writes the current contents of buffer b
on the output channel oc.
output_buffer oc b