void foo() {
    int x = 10;
    printf("%d", x);
}