{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"interpret::specialized_encode_alloc_id(self,"}]}
                    interpret::specialized_encode_alloc_id(self, tcx, id);
                    interpret_alloc_index.push(pos);
                }