My mistake, here is the correct ping dump.
Pinging 172.16.42.1 with 32 bytes of data:
Reply from 172.16.42.42: Destination host unreachable.
Request timed out.
Request timed out.
Request timed out.
Ping statistics for 172.16.42.1:
Packets: Sent = 4, Received = 1, Lost = 3 (75% loss),