#!./main

#include <stdio.h>

int foo(void)
{
    return 42;
}

int main(int argc, char **argv)
{
    printf("hello, world %d\n", foo());
    return 0;
}

// Local Variables:
// mode: c
// End: