void spy_file ( string header, string data_filename );
void spy_ge ( int m, int n, double a[], string header );