Constant riot_sys::PROTNUM_EIGRP

pub const PROTNUM_EIGRP: u32 = 88;