work3            2160 dxref.c            char *work3 = WORKING_DIR XREF_MACROS3;
work3            2171 dxref.c            fp3 = fopen (work3, "w");