Constant riot_sys::PROTNUM_ISIS_OVER_IPV4

pub const PROTNUM_ISIS_OVER_IPV4: u32 = 124;