extern void lib1(void);

int main(void)
{
  lib1();

  return 0;
}