Constant IPPORT_TCPMUX 

pub const IPPORT_TCPMUX: u32 = 1u32;