fnpExit           357 src/dps8/dps8_fnp2.h void fnpExit (void);
fnpExit          4626 src/dps8/dps8_sys.c   fnpExit ();