Coral: a Rust-like Borrow Checker for C [pdf] | Hacker News Reader