void f1(int *ptr) {
  *ptr = 0;
}