int printOptionsRecord(void* ipfixPrinter, SourceID sourceID, OptionsTemplateInfo* optionsTemplateInfo, uint16_t length, FieldData* data) { printf("\n\nGot an OptionsDataRecord\n");
int printOptionsRecord(void* ipfixPrinter_, SourceID sourceID, OptionsTemplateInfo* optionsTemplateInfo, uint16_t length, FieldData* data) { IpfixPrinter* ipfixPrinter = (IpfixPrinter*)ipfixPrinter_; fprintf(ipfixPrinter->stream, "\n\nGot an OptionsDataRecord\n");
int printOptionsRecord(void* ipfixPrinter, SourceID sourceID, OptionsTemplateInfo* optionsTemplateInfo, uint16_t length, FieldData* data) {	printf("\n\nGot an OptionsDataRecord\n");	return 0;	}