#define CATCH_CONFIG_MAIN
#include "vendor/catch_amalgamated.hpp"