int i;
void
f (void)
{
  i = (1 / 0) / 0;
}