#define tino_FATAL(X)	do { if (X) tino_fatal_debug(#X , __FILE__, __LINE__); } while (0)
static void tino_fatal(const char *s, ...);
static void tino_fatal_debug(const char *s, const char *file, int line);