IMIX_PRECISION
__u32 t = get_random_u32_below(IMIX_PRECISION);
IMIX_PRECISION,
for (i = 0; i < IMIX_PRECISION; i++) {
__u8 imix_distribution[IMIX_PRECISION];