Constant TEE_UDP_CHANGEPORT 

pub const TEE_UDP_CHANGEPORT: u32 = 0x66000002;