関係ないけど

void main(void){
  while(1){
    printf("1");
  }
  return;
}
を、
リダイレクトしたら、数秒で12MB逝ってびびった