Constant ENCLAVE_TYPE_VBS_BASIC 

pub const ENCLAVE_TYPE_VBS_BASIC: u32 = 17;