(library
 (name tcpip_ipv4)
 (public_name tcpip.ipv4)
 (instrumentation
  (backend bisect_ppx))
 (libraries logs ipaddr cstruct tcpip tcpip.udp tcpip.checksum mirage-random
   mirage-clock randomconv lru arp.mirage ethernet)
 (preprocess
  (pps ppx_cstruct))
 (wrapped false))
