fnp_rcd_line_disconnected 1658 src/dps8/dps8_fnp2.c                 fnp_rcd_line_disconnected ((uint)mbx, (int) fnp_unit_idx, lineno);
fnp_rcd_line_disconnected 1666 src/dps8/dps8_fnp2.c                 fnp_rcd_line_disconnected ((uint)mbx, (int) fnp_unit_idx, lineno);