pub const ICMP4_ECHO_REPLY: ICMP4_TYPE = 0i32;