hello-3.c

extern int printf (const char *__restrict __format, ...);

int main (void)
{
  printf ("Hello, world!\n");
  return 0;
}