Searching in tests/fuzzer/seed_codegen