fnameNo = readSmallIntValue(d1);
break;
default:
Int val = readOperand(d1).testInt();
lineRecords[++i] = new LineRecord(fnameNo, val.value);
// System.err.println("line["+(i)+"] = "+val.value + " ["+fnameNo+"]");
}
}
filenames = new EString[fnames+1];