Constant sgx_libc::IPPROTO_ICMP

pub const IPPROTO_ICMP: i32 = 1;