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