basic IO buffer size like for fifo -- imitate implicit flushing behaviour more closely;
basic IO buffer size like for fifo -- imitate implicit flushing behaviour more closely;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle