{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"Ok(())"}]}
                Ok(())
                Interval { addr: dst, size }.write_from_interval(self, val.interval)?;
            }