Constant ICMP4_ECHO_REQUEST 

pub const ICMP4_ECHO_REQUEST: ICMP4_TYPE = 8i32;