{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"dst.write_from_interval(self,"}]}
                dst.write_from_interval(self, src)
                let dst = Interval { addr: dst, size };
            }