fuzzcheck: 0 errors out of 46388 tests