ml">Trail</A> tr = NULL;
        if (<A HREF="#unify">unify</A>(t1, c1, t2, c2, &tr)) {
            <A HREF="term.html">Term</A> t3 = <A HREF="#apply">apply</A>(t1, c1);
            <A HREF="term.html">Term</A> t4 = <A HREF="#apply">apply</A>(t2, c2);
            if (term_ident(t3, t4))
                printf("everything is OK\n");
            else
                printf("something is broken\n");
            <A HREF="#undo_subst">undo_subst</A>(tr);
            zap_term(t3);
            zap_term(t4);
      