#include <stdio.h>

char buf[16 * 1024 * 1024];

int foo();

int main(int argc, char * * argv)
{
    int x;
    printf("Hello World\n");
    x = foo();
    printf("Result is %d\n", x);
    return x;
}