Constant ENCLAVE_UNSEAL_FLAG_STALE_KEY 

pub const ENCLAVE_UNSEAL_FLAG_STALE_KEY: u32 = 1u32;