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