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