#include <oskit/dev/membus.h>
const oskit_iid_t oskit_membus_iid = OSKIT_MEMBUS_IID;