tino_STATIC void
tino_ex(const char *s)
{
  perror(s);
  exit(1);
}