fyi https://github.com/bitcoinfuzz/bitcoinfuzz/pull/534 adds libbitcoin-system into bitcoinfuzz (differential fuzzing of Bitcoin libs/impls) in case any of you want to take a look, would be very valuable. Especially to see if the proper functions are being used.