/* Stub implementation of (obsolete) index(). */

extern char * strchr();

char *
index (s, c)
  char *s;
  int c;
{
  return strchr (s, c);
}