Constant ENCLAVE_UNSEAL_FLAG_STALE_KEY

pub const ENCLAVE_UNSEAL_FLAG_STALE_KEY: u32 = 1u32;