void foo(int x) {
  x = 2;
}

int main() {
  int x = 1;
  foo(x);
  printf("x: %d\n", x);
}