// Let Catch provide main()
#define CATCH_CONFIG_MAIN

#include <catch2/catch.hpp>