Constant ENCLAVE_SHORT_ID_LENGTH 

pub const ENCLAVE_SHORT_ID_LENGTH: u32 = 16;