#include <stdio.h>
#include <sys/stdint.h>
#include <sys/types.h>
#include <sys/time.h>
#include <netinet/in_systm.h>
#include <netinet/in.h>
#include <netinet/ip.h>
#include <spf2/spf.h>

int main(void) {

  SPF_dns_resolv_new(NULL, "spfResolv", 0);
  SPF_dns_cache_new(NULL, "spfCache", 0, 42);

  return 0;
}