#include <oskit/fs/openfile.h>
const oskit_iid_t oskit_openfile_iid = OSKIT_OPENFILE_IID;