// Let Catch provide main():
#define CATCH_CONFIG_MAIN
#include <catch2/catch.hpp>