if (set_manager == NULL ) { fprintf (stderr, "Setmanager is NULL\n"); return -1;
if(set_manager == NULL ) { msg(MSG_DEBUG, "IPFIX: trying to reset NULL set_manager"); return -1;
static int ipfix_reset_set_manager(ipfix_set_manager *set_manager){	if (set_manager == NULL ) {		fprintf (stderr, "Setmanager is NULL\n");		return -1;	}	// reset the buffered data	set_manager->set_header_length = 0;	set_manager->header_iovec = NULL;	set_manager->data_length = 0;	return 0;}