static void * tino_alloc(size_t len);
static char * tino_stralloc(const char *s);