#ifdef TC_CONFIG_BAD
#  error "Built in 'Bad' config"
#endif
int main(void)
{
  return 0;
}