Constant riot_sys::PROTNUM_DDX

pub const PROTNUM_DDX: u32 = 116;