pub const ENCLAVE_FLAG_FULL_DEBUG_ENABLED: u32 = 1u32;