100755 blob f43e52dea11110ed1539aa208c86fabe2b13e694	generate_language_headers.py
100755 blob 3c2ebd9ad2c72c1139881d53183d277122fd8d68	makeExtinstHeaders.py
100755 blob 0ca0b2f251f890fb42ab069197c93e00c1cf5374	makeHeaders