{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"};"}]}
        };
            (total_range, result)
        highlighted_str.replace_range(highlight_range, &highlight_str);