Constant riot_sys::RIOT_PP_SUCCESSOR_5257

pub const RIOT_PP_SUCCESSOR_5257: u32 = 5258;