edited header for generated code