char *fatal = "tinydns: fatal: ";

void initialize(void)
{
  ;
}