int foo() {
    return 2 * (1 + 2);
}