Python Script To Generate C Header File