pub const RIOT_PP_SUCCESSOR_1193: u32 = 1194;