Constant IPPORT_EXECSERVER 

pub const IPPORT_EXECSERVER: u32 = 512u32;