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