Sindbad~EG File Manager

MEXPORT_AUTOMODE 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 */
MEXPORT_AUTOMODE void erasecolors(term *);

MEXPORT_AUTOMODE void autodif(term, int, actualop *, int *);  /* autocalc.c */
MEXPORT_AUTOMODE void autoint(term, term *, int, actualop *, int *);  /* autocalc.c */
MEXPORT_AUTOMODE void autolimit(term, int, actualop *, int *); /* autocalc.c */