## Runbook Link [https://model-checking.github.io/verify-rust-std/challenges/0019-rawvec.html](https://model-checking.github.io/verify-rust-std/challenges/0019-rawvec.html)
