/* example linked with extern.c*/
#include <stdio.h>

int world (void)
{
  printf("\nHello World\n");
}