Didn't expect my nitpicking of "CCC" to result in some maintenance commits in csmith, thanks for the author.