1 #include <stdio.h> 2 int main() { 3 printf("Hello World\n"); // Use something from libc.so 4 return 0; 5 } 6