looking at the graph, stream.read does return a string annotated with `SomeString(can_be_None=True)`. That gets put into `space.newstr_fromstr`, which means that any string pulled out of a `W_StringObject` using `space.str_w` now also has that annotation (it can be None, and may contain null bytes).