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  */