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