#ifdef USING_TESTLIB2
#  error Unexpected USING_TESTLIB2
#endif
#ifndef USING_TESTLIB3
#  error Expected USING_TESTLIB3
#endif

int main(void)
{
  return 0;
}