pub const ICMP4_ECHO_REPLY: ICMP4_TYPE;