Constant TCP_REMOTE_UDP_ENCAPS_PORT 

pub const TCP_REMOTE_UDP_ENCAPS_PORT: c_int = 71;