#include <oskit/fs/filepsid.h>
const oskit_iid_t oskit_filepsid_iid = OSKIT_FILEPSID_IID;