Constant riot_sys::RIOT_PP_SUCCESSOR_9999

pub const RIOT_PP_SUCCESSOR_9999: u32 = 10000;