Searching in fuzztest/core