1 #include <stdio.h>
2 
3 int
4 main(int argc, char *argv[])
5 {
6 	printf("Hello world\n");
7 
8 	return 0;
9 }
10