Constant riot_sys::PROTNUM_PTP

source ยท 
pub const PROTNUM_PTP: u32 = 123;