> Re system calls being expensive, I would be really surprised if they are so > expensive that switching from a 4K BUFSIZ to a 64K one really makes any > appreciable difference. We could switch that though. One can check that very easily. The compiler flag -text-io-buf-size <n> sets both the input and output buffer sizes (for both BinIO and TextIO).