encodeline       1984 src/dps8/dps8_fnp2.c     return encodeline (fnpno, lineno);
encodeline       1031 src/dps8/fnpuv.c     uint this_line = encodeline (fnpno, lineno);