471             const spvtools::fuzz::protobufs::FactSequence& initial_facts,  in Replay()  argument
502           initial_facts, transformation_sequence, num_transformations_to_apply,  in Replay()
515             const spvtools::fuzz::protobufs::FactSequence& initial_facts,  in Shrink()  argument
555           initial_facts, transformation_sequence, interestingness_function,  in Shrink()
572           const spvtools::fuzz::protobufs::FactSequence& initial_facts,  in Fuzz()  argument
627                                                             initial_facts);  in Fuzz()
725   spvtools::fuzz::protobufs::FactSequence initial_facts;  in main()  local
738                                                      &initial_facts)  in main()
753               target_env, validator_options, binary_in, initial_facts,  in main()
760                 initial_facts, donors_file, repeated_pass_strategy,  in main()
767                   initial_facts, replay_transformations_file, &binary_out,  in main()
779                   initial_facts, shrink_transformations_file,  in main()