#include <oskit/dev/osenv_device.h>
const oskit_iid_t oskit_osenv_device_iid = OSKIT_OSENV_DEVICE_IID;