#include <stdio.h>

void g (const char * s)
{
   printf ("Hello %s \n", s);
}