unplugged-system/external/catch2/include/catch_with_main.cpp