#include <stdio.h>

extern void printWorld(void);

int main(void) {
   printf("Hello ");
   printWorld();
   return 0;
}