pub const RIOT_PP_SUCCESSOR_8888: u32 = 8889;