github.com/epfl-dcsl/gotee@v0.0.0-20200909122901-014b35f5e5e9/src/debug/pe/testdata/hello.c (about)

     1  #include <stdio.h>
     2  
     3  int
     4  main(void)
     5  {
     6  	printf("hello, world\n");
     7  	return 0;
     8  }