Constant ENCLAVE_VBS_FLAG_DEBUG 

pub const ENCLAVE_VBS_FLAG_DEBUG: u32 = 1u32;