void foo(int y) {
  y++;
}