Works with example; also added a fuzzer.