#ident "@(#) Hello World"
#include <stdio.h>

char *format = "%s",
     *hello = "Hello World...\n";

main()
{
	printf (format, hello);
 }