pub const RIOT_PP_SUCCESSOR_9009: u32 = 9010;