Just out of curiosity.... Do you have an estimate of how man CPU-hours your fuzzer took to find this bug?