Bigbuffer_blockingExtends Core_kernel.Bigbuffer.
add_channel b ic n reads exactly n characters from the input channel ic and stores them at the end of buffer b. Raises 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.