are valid. If, pursuant to the Corresponding Source includes interface definition files associated with source files for the User Product in which it has been modified or installed by the copyright holder is reinstated (a) provisionally, unless and until