[![dependency status](https://deps.rs/crate/verus_builtin/0.0.0-2026-05-17-0151/status.svg)](https://deps.rs/crate/verus_builtin/0.0.0-2026-05-17-0151)