#ifdef DO_GNU_TESTS
#  ifndef TEST_DEFINE
#    error Expected TEST_DEFINE
#  endif
#endif

int main(int argc, char **argv)
{
  return 0;
}