{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"self.map.insert(s.to_string(),"}]}
            self.map.insert(s.to_string(), Predefined { idx, span_of_name: span });
            let idx = self.len();
            idx