int foo(void) {
    return 42;
}

int main(int argc, char *argv[]) {
    return foo();
}