Constant riot_sys::RIOT_PP_SUCCESSOR_4138

pub const RIOT_PP_SUCCESSOR_4138: u32 = 4139;