Synthesized - But Errors - drop_packets.v - extra state