#define CATCH_CONFIG_MAIN // request a main()
#include <Catch2/catch.hpp>