c2rust 0.10.1

C to Rust translation, refactoring, and cross-checking
{
  "git": {
    "sha1": "f0aa2ac51b07bef8c8393c972e3db38e7dfcb73a"
  }
}