char * strstr(const char * s1,const char * s2) 
char *strstr(const char *s1, const char *s2) 
char * strstr(const char * s1,const char * s2){	int l1, l2;	l2 = strlen(s2);	if (!l2)		return (char *) s1;	l1 = strlen(s1);	while (l1 >= l2) {		l1--;		if (!memcmp(s1,s2,l2))			return (char *) s1;		s1++;	}	return NULL;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/51a0f0f658b0e757d569e8ac224ccb6bbfe3c181/string.c/clean/lib/string.c