#include <oskit/dev/blk.h>
const oskit_iid_t oskit_blkdev_iid = OSKIT_BLKDEV_IID;