Removed header, because we use this file as comparison reference for
generated code