Constant riot_sys::RIOT_PP_SUCCESSOR_9887

pub const RIOT_PP_SUCCESSOR_9887: u32 = 9888;