Constant riot_sys::RIOT_PP_SUCCESSOR_9873

pub const RIOT_PP_SUCCESSOR_9873: u32 = 9874;