Constant PROTNUM_MANET

pub const PROTNUM_MANET: u32 = 138;