strdup(str)

	const char *str;

{

	char *bptr;



	bptr = (char *)malloc(strlen(str)+1);

	strcpy(bptr, str);



	return bptr;

}

strdup(str)

	const char *str;

{

	char *bptr;



	bptr = (char *)malloc(strlen(str)+1);

	strcpy(bptr, str);



	return bptr;

}

strdup(str) 	const char *str; 	char *bptr; 	bptr = (char *)malloc(strlen(str)+1); 	strcpy(bptr, str); 	return bptr;
FUNC_0(VAR_0)

	const char *VAR_0;

{

	char *VAR_1;



	VAR_1 = (char *)malloc(strlen(VAR_0)+1);

	strcpy(VAR_1, VAR_0);



	return VAR_1;

}

FUNC_0(VAR_0)
const char *VAR_0; { char *VAR_1; VAR_1 = (char *)malloc(strlen(VAR_0)+1); strcpy(VAR_1, VAR_0); return VAR_1; }