(library
 (name tcpip_icmpv4)
 (public_name tcpip.icmpv4)
 (instrumentation
  (backend bisect_ppx))
 (libraries logs tcpip ipaddr tcpip.checksum)
 (wrapped false))
