pid can be 32 bits values, but icmp id is only 16