int printf(char* format, ...);

int main() {
    int a = 3;
    if (a != 3) {
        printf("a is not 3\n");
    }
    printf("a = %d\n", a);
}