port_exp          875 src/dps8/dps8_net.c   int port_exp     = leader[6];
port_exp          886 src/dps8/dps8_net.c                    msg_type, handling, host, port_exp, imp);