code accompanying a blog post about fuzzing a red-black tree implementation