new_tmp_file_name
fnew = new_tmp_file_name();
fn = new_tmp_file_name();
char *new_tmp_file_name(void);
char *flast = new_tmp_file_name();