#include <stdio.h>

//@ SNIPPET:BEGIN hello_world
int main(void)
{
	printf("Hello World\n");

	return 0;
}
//@ SNIPPET:END hello_world

//@ SNIPPET:BEGIN hello_world_1
int main(void)
{
	printf("Hello World 1\n");

	return 0;
}
//@ SNIPPET:END hello_world_1

//@ SNIPPET:BEGIN hello_world_2
int main(void)
{
	printf("Hello World 2\n");
    
	return 0;
}
//@ SNIPPET:END hello_world_2