Podan je naslednji program:

int x = 5;
void f(int y) {
    printf("%d ", x + y);
}
int main(void) {
    int x = 2;
    if (x < 10) {
        int x = 10;
        f(++x);
        printf("%d ", x);
    }
    printf("%d ", x);
    return 0;
}

Kaj bo program izpisal na standardni izhod?