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