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