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