anchor.diff:        };
      endmethod
      method read_parser_perf_info = parser.read_perf_info;
  +   method Action set_verbosity (int verbosity);
  +      parser.verbosity.put(verbosity);
  +   endmethod
   endmodule
   
  
positive.code:    rule dispatch_packet;
        let v <- toGet(ingress.eventPktCommitted).get;
        let meta <- parser.meta.get;
        MetadataRequest nextReq = tagged DefaultRequest { pkt: v, meta: meta};
        outReqFifo.enq(nextReq);
     endrule
  
  
negative.code:    interface Client#(MetadataRequest, MetadataResponse) next;
     method HostChannelDbgRec read_debug_info;
     method ParserPerfRec read_parser_perf_info;
     method Action set_verbosity (int verbosity);
  endinterface
  
  module mkHostChannel(HostChannel);
  