Some fuzzing-generated tests, with possible coverage redundancies