void foo(int *t) {
  if (t[0] > 4) {
    t[1] ++;
    t[0] --;
  }
}