void string_istream_read(
    struct istream* this);