pub const RIOT_PP_SUCCESSOR_9271: u32 = 9272;