#include <stdio.h>
#include <stdlib.h>

void PrintHelloWorld(void)
{
printf("Hello world\n") ;
}