{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"code_regions.len(),"}]}
            code_regions.len(),
            code_regions.as_ptr(),
            expansion_regions.as_ptr(),