pub fn rewrite_mem<V, E>( o: &mut Operator, v: &mut [V], go: impl FnMut(&mut Memory, Option<&mut V>) -> Result<(), E>, ) -> Result<(), E>