Let the number of fuzzers be a parameter.