void print() {
    int a = 2;
    printf("%d", a);
}