Constant sgx_libc::F_SEAL_SEAL

pub const F_SEAL_SEAL: i32 = 1;