Constant sgx_libc::SO_SNDBUF

pub const SO_SNDBUF: i32 = 7;