+ writeln!(out, "// This file is Copyright its original authors, visible in version control").unwrap();
+ writeln!(out, "// history and in the source files from which this was generated.").unwrap();
+ writeln!(out, "//").unwrap();
+ writeln!(out, "// This file is licensed under the license available in the LICENSE or LICENSE.md").unwrap();
+ writeln!(out, "// file in the root of this repository or, if no such file exists, the same").unwrap();
+ writeln!(out, "// license as that which applies to the original source files from which this").unwrap();
+ writeln!(out, "// source was automatically generated.").unwrap();
+ writeln!(out, "").unwrap();
+