Verify the Safety of the Rust Standard Library | Hacker News Reader