100755 blob c56780c1cba88e0728f033b64e69e42472e18cd4	generate_language_headers.py
100755 blob 780e4796094d7d700dfb2391742ca7b9c08e2872	makeExtinstHeaders.py
100755 blob 0ca0b2f251f890fb42ab069197c93e00c1cf5374	makeHeaders