#include <oskit/dev/device.h>
const oskit_iid_t oskit_device_iid = OSKIT_DEVICE_IID;