// catch2 configuration
#define CATCH_CONFIG_MAIN
#define CATCH_CONFIG_FAST_COMPILE
#define CATCH_CONFIG_DEFAULT_REPORTER "console"
#include "catch.hpp"