1  int main(void)
       2  {
       3    char *c1 = "foo";
       4    char *c2 = "foo";
       5    int i;
       6    for (i = 0; i < 3; i++)
       7      if (c1[i] != c2[i])
       8        abort ();
       9    exit (0);
      10  }