“This module translates C to Rust”
This is a “Literate Haskell” source file. It is meant to be read as
documentation but it’s also compilable source code. The text is
formatted using Markdown so GitHub can render it nicely.