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