Constant ENCLAVE_SHORT_ID_LENGTH

pub const ENCLAVE_SHORT_ID_LENGTH: u32 = 16u32;