{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"interpret_alloc_index.push(pos);"}]}
                        interpret_alloc_index.push(pos);
                        let pos: u64 = encoder.position().try_into().unwrap();
                        interpret::specialized_encode_alloc_id(&mut encoder, tcx, id);