1 #include <stdio.h> 2 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