Mostly C++ and D stuff... from the maker of ZeroBUGS