int printTemplateDestruction(void* ipfixPrinter, SourceID sourceID, TemplateInfo* templateInfo) { printf("\n\nDestroyed a Template\n");
int printTemplateDestruction(void* ipfixPrinter_, SourceID sourceID, TemplateInfo* templateInfo) { IpfixPrinter* ipfixPrinter = ipfixPrinter_; fprintf(ipfixPrinter->stream, "\n\nDestroyed a Template\n");
int printTemplateDestruction(void* ipfixPrinter, SourceID sourceID, TemplateInfo* templateInfo) {	printf("\n\nDestroyed a Template\n");	return 0;	}