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

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