Automatic translators can facilitate migration from C to Rust, but existing translators generate unsatisfactory code by ...