int i4_max ( int i1, int i2 );
int i4_min ( int i1, int i2 );
void spy_file ( string header, string data_filename );
void spy_ge ( int m, int n, double a[], string header );
void timestamp ( );