Constant USER_CET_ENVIRONMENT_VBS_BASIC_ENCLAVE 

pub const USER_CET_ENVIRONMENT_VBS_BASIC_ENCLAVE: USER_CET_ENVIRONMENT;