Constant riot_sys::PROTNUM_ARGUS

pub const PROTNUM_ARGUS: u32 = 13;