Re: Trouble with reading from stdin

[def_pri_pub]

Is it something related to stdin's default buffer size? Default is around 4096 
character IIRC.