Merge branch 'new_fuzzer' of /home/git/random-fuzzer into new_fuzzer