{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"dest_ptrs"}]}
                dest_ptrs
            for i in 0..count {
                    .extend(ptrs.iter().map(|&(offset, reloc)| (shift_offset(i, offset), reloc)));