The files in this directory are used to test the override functionality of the
test infrastructure, and are `#include`'ed by
[`test_test_infra.c`](../../test_test_infra.c).