{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"Interval"}]}
                    Interval { addr: result, size: old_size }
                    let result = self.heap_allocate(new_size, align)?;
                        .write_from_interval(self, Interval { addr: ptr, size: old_size })?;