#include <stdio.h>

main(){
	setvbuf(stdout, NULL, _IOFBF, BUFSIZ);
	printf("Hello ");
	getchar();
	printf("World %d\n", BUFSIZ);
}