C to Rust

Currently, we are building a system about it. It is still working-in-progress.

We try to sidestep limitations of c2rust-based approach and explore alternative ways of doing the translation.