Constant riot_sys::RIOT_PP_SUCCESSOR_3887

pub const RIOT_PP_SUCCESSOR_3887: u32 = 3888;