#ifndef	TINO_PUB
#define TINO_PUB	static
#endif
#define	TINO_IMP
#define	ex(X)	tino_ex(X)
TINO_PUB void
tino_ex(const char *s)
{
  perror(s);
  exit(3);
  abort();
  for (;;);
}