#define CATCH_CONFIG_MAIN  // This tells Catch to provide a main() function
#include "catch/catch.hpp"