open_mapping_file
static FILE *open_mapping_file(char *pathbuf, char *name,
infile = open_mapping_file(pathbuf, infilename, explicit_name, type);