int header1(int t) {
  return t;
}