MCHASHSZ
index = val / MCHASHSZ;
bit = 1U << (val % MCHASHSZ);
uint16_t efe_mchash[MCHASHL / MCHASHSZ];