#define CATCH_CONFIG_MAIN #include "catch-framework/catch.hpp"