fileiobuf.cc #2