anchor.diff:      parse_state_ff.deq;
     endrule
   
  -  (* mutually_exclusive="rl_parse_ethernet_parse_arp, rl_parse_ethernet_parse_ipv4, rl_parse_ethernet_parse_ipv6, rl_parse_ethernet_start" *)
     rule rl_parse_ethernet_parse_arp if ((w_parse_ethernet_parse_arp));
       parse_state_ff.enq(StateParseArp);
       dbg3($format("%s -> %s", "parse_ethernet", "parse_arp"));
  
positive.code:     parse_state_ff.deq;
    endrule
  
    (* mutually_exclusive="rl_parse_ipv4_parse_udp, rl_parse_ipv4_start" *)
    rule rl_parse_ipv4_parse_udp if ((w_parse_ipv4_parse_udp));
      parse_state_ff.enq(StateParseUdp);
      dbg3($format("%s -> %s", "parse_ipv4", "parse_udp"));
  
negative.code:     parse_state_ff.deq;
    endrule
  
    rule rl_parse_arp_start if ((w_parse_arp_start));
      parse_done[0] <= True;
      dbg3($format("%s -> %s", "parse_arp", "start"));
  