extern void lib4(void);

int main(void)
{
  lib4();

  return 0;
}