#ifndef PATCH_IO_H
#define PATCH_IO_H

extern io_manager patch_io_manager;

errcode_t set_patch_io_backing_manager(io_manager manager);
errcode_t set_patch_io_patch_file(char *file);

#endif