reply            3422 gc/os_dep.c        mach_port_t reply;
reply            3467 gc/os_dep.c            GC_ports.reply,
reply            3484 gc/os_dep.c        msg.head.msgh_remote_port = GC_ports.reply;
reply            3520 gc/os_dep.c        } reply;
reply            3578 gc/os_dep.c        	        if(!exc_server(&msg.head,&reply.head))
reply            3582 gc/os_dep.c                        &reply.head,
reply            3584 gc/os_dep.c                        reply.head.msgh_size,
reply            3666 gc/os_dep.c            r = mach_port_allocate(me,MACH_PORT_RIGHT_RECEIVE,&GC_ports.reply);