static void tino_ex(const char *s);