Symbol: addoutfile
usr.bin/xlint/lint2/externs2.h
85
int addoutfile(short);
usr.bin/xlint/lint2/read.c
730
addoutfile(inpfns[parse_int(&cp)]);