void *CRYPTO_remalloc(void *a, int num, char *file, int line)
void *CRYPTO_remalloc(void *a, int num, const char *file, int line)
void *CRYPTO_remalloc(void *a, int num, char *file, int line)	{	if (a != NULL) Free(a);	a=(char *)Malloc(num);	return(a);	}