Symbol: t4_eth_eq_free