function anonymous(
) {
return function Header(v0,v1,v2) {
  this.magic = v0;
  this.meta = v1;
  this.sync = v2;
};
}