TEMP FILE for checking WebIDL correctness -- the large number of enums is causing the W3C IDL Validator to crash