if(trace) log.trace("hdr=" + hdr);
    void sendIHaveSockMessage(Address dst, Address mbr, IpAddress addr) {        Message msg=new Message(dst, null, null);        FdHeader hdr=new FdHeader(FdHeader.I_HAVE_SOCK);        hdr.mbr=mbr;        hdr.sock_addr=addr;        msg.putHeader(name, hdr);        if(trace) // +++ remove            log.trace("hdr=" + hdr);        passDown(new Event(Event.MSG, msg));    }