int equalstructures(void *, void *, int); int equal_mod_order(term u, term v); int seminumerical2(term); int complexnumerical2(term);