It seems we moved the problematic "if" condition from random to memequal  and memset. Now we have the same problem( less critical than in random ) - we can skip the "if" and always start from zero offset.  Let's try to create dependency between flow_counter and num, as we did it in memcmp 