Constant IPPORT_EFSSERVER 

pub const IPPORT_EFSSERVER: u32 = 520u32;