state/reader_state library