Constant CCODE::ENCLAVE_TYPE_VBS

pub const ENCLAVE_TYPE_VBS: u32 = 16;