#include <oskit/mib/system.h>
const oskit_iid_t oskit_mib_system_iid = OSKIT_MIB_SYSTEM_IID;