void bisection_integer ( int f ( int x ), int *a, int *b, int *c, int *fc );
void timestamp ( void );