/* Source file hello1.c */

#include	<stdio.h>

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