Constant ENCLAVE_FLAG_FULL_DEBUG_ENABLED 

pub const ENCLAVE_FLAG_FULL_DEBUG_ENABLED: u32 = 1u32;