pub const RIOT_PP_SUCCESSOR_9193: u32 = 9194;