Constant sgx_libc::IPPROTO_MAX

pub const IPPROTO_MAX: i32 = 256;