pub const RIOT_PP_SUCCESSOR_801: u32 = 802;