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