Too late for me to edit, but regarding the C header file situation, this tool has been around for a bit:<p><a href="https:&#x2F;&#x2F;github.com&#x2F;Sean1708&#x2F;rusty-cheddar" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;Sean1708&#x2F;rusty-cheddar</a><p>I haven&#x27;t used it personally, but it looks useful.