{"ast_node_type":"other","tokens":[{"end":92,"kind":"keyword","start":0,"text":".write_from_interval(self,"}]}
                        .write_from_interval(self, Interval { addr: ptr, size: old_size })?;
                    Interval { addr: result, size: old_size }
                    destination.write_from_bytes(self, &result.to_bytes())?;