anchor.diff:  interface Parser;
       interface Put#(EtherData) frameIn;
       interface Get#(Bit#(48)) parsedOut_ethernet_dstAddr;
  -    interface Get#(Bit#(8)) parsedOut_paxos_msgtype;
  +    interface Get#(Bit#(16)) parsedOut_paxos_msgtype;
       interface PipeOut#(ParserState) parserState;
   endinterface
   
  
positive.code:             parse_arp.start;
              parse_ipv4.start;
              parse_ipv6.start;
              parse_cpu_header.start;
              parse_udp.start;
              parse_paxos.start;
              started <= True;
  
negative.code: endfunction
  
  typedef struct {
      Bit#(16) round;
  } IngressMetadataT deriving (Bits, Eq);
  
  instance DefaultValue#(IngressMetadataT);
  