Auto
Light
Rust
Coal
Navy
Ayu
Verify Rust Std Lib
18: Verify the safety of slice iter functions