anchor.diff:    endrule
   
     function ParserState compute_next_state(Bit#(16) v);
  -    ParserState nextState = StateStart;
  +    ParserState nextState = StateParseStart;
       case (byteSwap(v)) matches
         'h800: begin
           nextState = StateParseIpv4;
         end
         default: begin
  -        nextState = StateStart;
  +        nextState = StateParseStart;
         end
       endcase
       return nextState;
  
positive.code:     end
    endrule
  
    Empty init_state <- mkStateStart(curr_state, data_in_fifo, start_fsm);
    ParseIpv4 parse_ipv4 <- mkStateParseIpv4(curr_state, data_in_fifo, parse_state_in_fifo[0]);
    ParseEthernet parse_ethernet <- mkStateParseEthernet(curr_state, data_in_fifo);
    mkConnection(parse_ipv4.parse_ethernet, parse_ethernet.parse_ipv4);
  
negative.code:     $display(fshow(hdr));
      parseStateFifo.enq(StateParseIpv4);
      parsed_ipv4_protocol_fifo.enq(hdr.protocol);
      next_state_wire[0] <= tagged Valid StateParseStart;
    endaction
    endseq;
    FSM fsm_parse_ipv4 <- mkFSM(stmt_parse_ipv4);
  