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