1 #include <stdio.h>
2 
main(int argc,char * argv[])3 int main(int argc, char *argv[])
4 {
5 	puts("hello, world");
6 
7 	return 0;
8 }
9 
10 /*
11  * check-name: 'hello, world' code generation
12  * check-command: sparsec -c $file -o tmp.o
13  */
14