Tweak the BufferedIO class to enable a memory-mapped file implementation

Tweak the BufferedIO class to enable a memory-mapped file implementation
We have to eliminate the assumption that an empty write buffer can be
constructed by setting the buffer pointers to zero: this isn't
necessarily the case when the buffer corresponds to a memory-mapped
file, or other in-memory device implementation.