Redirecting to
../../../netstack3_icmp_echo/type.IcmpSocketState.html
...