#include <oskit/dev/bus.h>
const oskit_iid_t oskit_bus_iid = OSKIT_BUS_IID;