Sindbad~EG File Manager

int exec(operation op, term arg, term *next, char *reason);
int exec_aux(term t, term p, actualop code, term arg, char * firstreason, term *next, char *reason);
int check_for_contradictions(int *, int *);  /* called in top.c */
void erasecolors(term *);
void autodif(term, int, actualop *, int *);  /* autocalc.c */
void autoint(term, term *, int, actualop *, int *);  /* autocalc.c */
void autolimit(term, int, actualop *, int *); /* autocalc.c */