{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"self.source_map.label_map_back.insert(id,"}]}
        self.source_map.label_map_back.insert(id, src);
        let id = self.store.labels.alloc(label);
        self.source_map.label_map.insert(src, id);