function anonymous(t0,t1,t2
) {
return function skipHeader(t) {
  t0._skip(t);
  t1._skip(t);
  t2._skip(t);
}
}