/* I/O ---------------------------------------------------------------------- */
/* The default size for file buffers. Must be at least 256. */
/* I/O ---------------------------------------------------------------------- */
/* The default size for file buffers. Must be at least 256. */