int stop = 10;

void foobar() {
    stop = stop - 1;
}

int main(void) {

    for (; stop > 0; foobar())
        printf("Hello world\n");

}