{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"}"}]}
                }
                    slot.insert(new_name);
                debug!("give_region_a_name: gave name {:?}", new_name);