These headers are generated from other files in the CVS repository.
Don't change them; change the source files and the scripts that build them.
