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

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