// TEST_IGNORE_FILE: implementing main; __include a; int f_b() { return 2 + f_a(); }