fnpExit           331 src/dps8/dps8_fnp2.h void fnpExit (void);
fnpExit          4568 src/dps8/dps8_sys.c   fnpExit ();