n = 0;
for(i = 0; i < 100; i++){
	gc();
	s = mkstr(8096);
	n += strlen(s);
}
printf("%d\n", n);