file_filenum      859 src/port.c         bufrec.filenum = file_filenum;
file_filenum      887 src/port.c         bufrec.filenum = file_filenum;