2015-11-20 18:12:13 +01:00
|
|
|
#include<stdio.h>
|
|
|
|
|
|
|
|
int main(void)
|
|
|
|
{
|
2019-07-30 12:55:29 +02:00
|
|
|
setbuf(stdout, NULL); /* to make it equivalent to the other versions, otherwise it caches */
|
2019-07-31 20:18:03 +02:00
|
|
|
int counter = 10000;
|
2015-11-20 18:12:13 +01:00
|
|
|
while(counter--) {
|
|
|
|
printf("Hello there\n");
|
|
|
|
}
|
|
|
|
}
|