/* BFC0357C */
char *strchr(char *s, char c)
{
      char c2;

      if(s == NULL) return NULL;

      do
      {
            c2 = *s;
            if(c2 == c) return s;
            s++;
      } while(c2 != '\0');

      return NULL;      
}