function anonymous(Header,t0,t1,t2
) {
return function readHeader(t) {
  return new Header(
    t0._read(t),
    t1._read(t),
    t2._read(t)
  );
};
}