1
#include "test_tools.h"
2
3
int main()
4
{
5
check(false, "Don't panic. Failing is the right behaviour.");
6
return 0;
7
}