HAFT: Higher-Order Abstractions for Rust · HackerTrans