#include <oskit/dev/isa.h>
const oskit_iid_t oskit_local_isabus_iid = OSKIT_LOCAL_ISABUS_IID;