Surely improvements be made to c2rust to reduce the cited information loss with constant naming, to reduce the initial conversion burden?
Yeah, this seems like a huge missing feature for C2Rust. IIUC the main idea is to serve as a base for then porting to idiomatic Rust. But if you lose all of the constants that is a huge productivity loss.