// This file is only here to verify (to the extent possible) the self sufficiency of the header
#include <catch2/catch_suppress_warnings.h>
#include <catch2/catch_xmlwriter.h>
#include <catch2/catch_reenable_warnings.h>