Constant sgx_libc::F_ADD_SEALS

pub const F_ADD_SEALS: i32 = 1033; // 1_033i32