#define CATCH_CONFIG_MAIN
#include <catch.hpp>
#undef CATCH_CONFIG_MAIN