Things I Learned from Porting a C Crypto Library to Rust