#include "test_tools.h"

int main() 
{
  check(false, "Don't panic. Failing is the right behaviour.");
  return 0;
}