From what I can tell Aeneas only supports safe Rust. I need something that works with both C and unsafe Rust.