Constant riot_sys::RIOT_PP_SUCCESSOR_9000

pub const RIOT_PP_SUCCESSOR_9000: u32 = 9001;