Searching in csmith-fuzzing