Constant riot_sys::RIOT_PP_SUCCESSOR_4143

pub const RIOT_PP_SUCCESSOR_4143: u32 = 4144;