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

int main() {
    int i = 5;
    printf("i = %d\n", i);
    return 0;
}