(library
 (name tcpip_udpv4)
 (public_name tcpip.udp)
 (instrumentation
  (backend bisect_ppx))
 (libraries mirage-crypto-rng-mirage logs tcpip randomconv tcpip.checksum)
 (wrapped false))
