Symbol: hdafg_probe_encoding