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