{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"destination.write_from_bytes(self,"}]}
                destination.write_from_bytes(self, &result.to_bytes())?;
                let result = self.heap_allocate(size, align)?;
            }