#include <stdio.h>

void exported_from_c();

int main() {
  printf("Hello World\n");
  exported_from_c();
}