structure TextStreamIO = 
struct
  open TextIO
  open StreamIO
end