{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"ptr:"}]}
                    ptr: ArenaMap::new(),
                None => Locals {
                    body: body.clone(),