Constant PROTNUM_MUX

pub const PROTNUM_MUX: u32 = 18;