extern void testlib(void);

void toplib(void)
{
  testlib();
}
