tino_STATIC void
tino_fatal(const char *s, ...)
{
  va_list	list;
  fprintf(stderr, "fatal error: ");
  va_start(list, s);
  vfprintf(stderr, s, va_list);
  va_end(list, s);
  abort();
  exit(1);
  for (;;);
}
tino_STATIC void
tino_fatal_debug(const char *s, const char *file, int line)
{
  tino_fatal("%s:%d: condition %s\n", file, line, s);
}