extras_io.h

Extra file and input/output facilities.