python 3 io.StringIO