int sq_aux(term, unsigned short, term *, int *); int sqinfract(term t, unsigned short f, term *next, char *reason);