char * strrchr(const char * s, int c) 
char *strrchr(const char *s, int c) 
char * strrchr(const char * s, int c){       const char *p = s + strlen(s);       do {           if (*p == (char)c)               return (char *)p;       } while (--p >= s);       return NULL;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/51a0f0f658b0e757d569e8ac224ccb6bbfe3c181/string.c/buggy/lib/string.c