int testLib10(void);

int testLib11(void)
{
  return testLib10();
}