#include <oskit/dev/isa.h>
const oskit_iid_t oskit_isabus_io_iid = OSKIT_ISABUS_IO_IID;