1169691Skanchar *
2169691Skanf (char *s, unsigned int i)
3169691Skan{
4169691Skan  return &s[i + 3 - 1];
5169691Skan}
6169691Skan
7169691Skanmain ()
8169691Skan{
9169691Skan  char *str = "abcdefghijkl";
10169691Skan  char *x2 = f (str, 12);
11169691Skan  if (str + 14 != x2)
12169691Skan    abort ();
13169691Skan  exit (0);
14169691Skan}
15169691Skan