Sindbad~EG File Manager

void display_assumptions(void);
void display_definitions(void);
void cleanup(void *, int);
void reset(void);
void banner(void);
int integrationop(operation op);
void display_flags(void);
void quit(void);
int back_to_menu_mode(void);
void domain_error(char *);