char a[];
void
f (const int i)
{
  a[i] = 0;
}