(library
 (name tcpip_udpv4)
 (public_name tcpip.udp)
 (instrumentation
  (backend bisect_ppx))
 (libraries mirage-random logs tcpip randomconv tcpip.checksum)
 (preprocess
  (pps ppx_cstruct))
 (wrapped false))
