#include <stdio.h>

int getFoo() { return foo; }

int main (int argc, char *argv[])
{
    printf("hello world!\n");

    return 0;
}