msgh_remote_port 3458 gc/os_dep.c        buf.msg.head.msgh_remote_port = GC_ports.exception;
msgh_remote_port 3484 gc/os_dep.c        msg.head.msgh_remote_port = GC_ports.reply;