int printOptionsTemplateDestruction(void* ipfixPrinter, SourceID sourceID, OptionsTemplateInfo* optionsTemplateInfo) { printf("\n\nDestroyed an OptionsTemplate\n");
int printOptionsTemplateDestruction(void* ipfixPrinter_, SourceID sourceID, OptionsTemplateInfo* optionsTemplateInfo) { IpfixPrinter* ipfixPrinter = (IpfixPrinter*)ipfixPrinter_; fprintf(ipfixPrinter->stream, "\n\nDestroyed an OptionsTemplate\n");
int printOptionsTemplateDestruction(void* ipfixPrinter, SourceID sourceID, OptionsTemplateInfo* optionsTemplateInfo) {	printf("\n\nDestroyed an OptionsTemplate\n");	return 0;	}