Constant NDIS_PROTOCOL_ID_MAX 

pub const NDIS_PROTOCOL_ID_MAX: u32 = 15u32;