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