add ReadFile and WriteFile in io_util.h