int foo(void) {
    return 1;
}
