#include<stdio.h>
int main(void)
{
setbuf(stdout, NULL); /* to make it equivalent to the typed version, otherwise it caches */
int counter = 100352 - 352;
while(counter--) {
printf("Hello there\n");
}