pub const RIOT_PP_SUCCESSOR_9433: u32 = 9434;