#include "dart/common/VersionCounter.hpp"
#include "dart/common/Console.hpp"
#include <cassert>
#include <iostream>