Symbol: EFX_PKT_UDP