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