source: CIVL/mods/dev.civl.abc/examples/c/pointsToAnalysis/pointerToArrayArgument.c

int *p, *q;

int f(int *a) {
  p = a + 1;
  q = a + 2;
}

int main() {
  int a[10];
  
  f(a);
}