#pragma CIVL ACSL
int a[100];

/*@ assigns a[0 .. 9][0 .. 9];
  @*/
int f() {
  return 0;
}