{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"self.write_pointer(offset_ptr,"}]}
                self.write_pointer(offset_ptr, dest)?;
                let offset_ptr = ptr.wrapping_signed_offset(offset_bytes, self);
            }