Symbol: t4_ofld_eq_free