Constant riot_sys::RIOT_PP_SUCCESSOR_4252

pub const RIOT_PP_SUCCESSOR_4252: u32 = 4253;