Too late for me to edit, but regarding the C header file situation, this tool has been around for a bit: https://github.com/Sean1708/rusty-cheddar https://gith

Too late for me to edit, but regarding the C header file situation, this tool has been around for a bit: https://github.com/Sean1708/rusty-cheddar https://github.com/Sean1708/rusty-cheddar I haven't used it personally, but it looks useful.