pub proof fn vm_writer_skip_embedded(tracked owner: &mut VmIoOwner, nbytes: usize)Expand description
requires
old(owner).inv(),final(owner).inv(),*final(owner) == *old(owner),Mirror of crate::mm::io::VmWriter::skip.