1  char *
       2  f (char *s, unsigned int i)
       3  {
       4    return &s[i + 3 - 1];
       5  }
       6  
       7  main ()
       8  {
       9    char *str = "abcdefghijkl";
      10    char *x2 = f (str, 12);
      11    if (str + 14 != x2)
      12      abort ();
      13    exit (0);
      14  }