void greet() {
     printf("Hello World\n");
}