// Catch provides the `int main()` function here. This is a standalone
// translation unit to avoid recompiling it for every test change.

#define CATCH_CONFIG_MAIN
#include <catch.hpp>