This call to `stream.read` and the one in `getc` are the places that I would guess may change the annotations for returned strings.