set_fnp_server_port  341 src/dps8/dps8_fnp2.h t_stat set_fnp_server_port (int32 arg, const char * buf);
set_fnp_server_port 3920 src/dps8/dps8_sys.c     {"FNPSERVERPORT",       set_fnp_server_port,      0, "Set the FNP dialin TELNET port number\n",     NULL, NULL },