fuzzcheck: 0 errors out of 46391 tests