pub const RIOT_PP_SUCCESSOR_9211: u32 = 9212;