Text this: Improving Automatic C-to-Rust Translation with Static Analysis.