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

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