pub const IMAGE_ENCLAVE_SHORT_ID_LENGTH: u32 = 16u32;