Interesting family of testing and debugging tools indeed. I should definitely reach out to those more.
