python sys stdin buffer read1