Constant riot_sys::PROTNUM_MPLS_IN_IP

pub const PROTNUM_MPLS_IN_IP: u32 = 137;