#include <oskit/mib/icmp.h>
const oskit_iid_t oskit_mib_icmp_iid = OSKIT_MIB_ICMP_IID;