{"ast_node_type":"other","tokens":[{"end":27,"kind":"keyword","start":0,"text":"destination"}]}
                destination
                destination.slice(0..self.ptr_size()).write_from_bytes(self, &addr.to_bytes())?;
                    .slice(self.ptr_size()..2 * self.ptr_size())