Symbol: t4_ctrl_eq_free