Constant sgx_libc::SO_BSDCOMPAT

pub const SO_BSDCOMPAT: i32 = 14;