Constant CCODE::ENCLAVE_TYPE_VBS_BASIC

pub const ENCLAVE_TYPE_VBS_BASIC: u32 = 17;