{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"//"}]}
                    // move the read_i'th item out of the vector and map it
                while read_i < this.0.len() {
                    // to an iterator