{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"buf.extend(ch.to_lowercase());"}]}
                buf.extend(ch.to_lowercase());
                last_upper = ch.is_uppercase();
            }