fnpExit           334 src/dps8/dps8_fnp2.h void fnpExit (void);
fnpExit          4682 src/dps8/dps8_sys.c   fnpExit ();