{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"output.extend(text.chars().skip(common_prefix_length));"}]}
        output.extend(text.chars().skip(common_prefix_length));
        // Output new suffix, using chars() iter to ensure unicode compatibility