pub const RIOT_PP_SUCCESSOR_9800: u32 = 9801;