void output_one_real ( REAL **field, int imin, int imax, int jmin, int jmax, 
  char *output_filename );