pub const RIOT_PP_SUCCESSOR_9007: u32 = 9008;