#include <oskit/dev/osenv_isa.h>
const oskit_iid_t oskit_osenv_isa_iid = OSKIT_OSENV_ISA_IID;