#pragma CIVL ACSL
int a[100][100];

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