pub const ICMP4_ECHO_REQUEST: ICMP4_TYPE;