printf("Destroyed a OptionsTemplate");
printf("Destroyed an OptionsTemplate\n");
int printOptionsTemplateDestruction(void* ipfixPrinter_, SourceID sourceID, OptionsTemplateInfo* optionsTemplateInfo) {	printf("Destroyed a OptionsTemplate");	return 0;	}