Rua

I think I found the source of the problem: https://github.com/immunant/c2rust/blob/12dfbc7526e857b51a2d4dd9046f7d25811d52b6/c2rust-transpile/src/translator/operators.rs#L800 `ty` is passed here as the type of the "implied" operand of the decrement operator. In other words, the type...

I found this discussion of the matter, specifically information that could help with option 2: https://discourse.nixos.org/t/find-standard-c-c-library-include-directories-for-libclang/34255/4