char *buffer = crm_malloc(sizeof(char)*(len+1)); snprintf(buffer, len, "%d", an_int);  
char *buffer = NULL;  crm_malloc(buffer, sizeof(char)*(len+1)); if(buffer != NULL) { snprintf(buffer, len, "%d", an_int); }  
crm_itoa(int an_int){	int len = 32;	char *buffer = crm_malloc(sizeof(char)*(len+1));	snprintf(buffer, len, "%d", an_int);	return buffer;}
8182	/local/tlutelli/issta_data/temp/c/2005_temp/2005/8182/69f8a14658aeeee09c5c270dd118170c371c0ecf/utils.c/buggy/crm/common/utils.c