Sindbad~EG File Manager

 int get_limit_info(term *, term *, term *);
 void fillbinders(term);
 void releasebinders(void);
 void setlocus(term, term *, int *, term);
 void init_binders(void);
 termlist *get_binders(void);
/*________________not exported______________________*/
void addbinder(term);
int get_infinitesimal(term *, term *, term *);
int isbinder(term);
int binders_interval(term *left, term *x, term *right);