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