pub type sgx_epid_group_id_t = [u8; 4];