added some simple header code to the generated file