void foo() {
   printf("Hello\n");
}