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