Constant TEE_ISOCKET_PROTOCOLID_UDP 

pub const TEE_ISOCKET_PROTOCOLID_UDP: u32 = 0x66;