static int user_match(const struct key *key, const void *description) 
int user_match(const struct key *key, const void *description) 
static int user_match(const struct key *key, const void *description){	return strcmp(key->description, description) == 0;} /* end user_match() */
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/2aa349f6e37ce030060c994d3aebbff4ab703565/user_defined.c/clean/security/keys/user_defined.c