#include "dns_constants.h"
#include "dns_server.h"
#include "dns_random.h"

const char *fatal = "tinydns: fatal: ";
const char *starting = "starting tinydns\n";

static char seed[128];

void initialize(void)
{
  dns_random_init(seed);
}
