void read_parameter_file(char *fname);