#ifndef TESTDEF
#error "TESTDEF should be defined!"
#endif
int main(void)
{
  return 0;
}