tino_STATIC void * tino_alloc(size_t len) { void *p; if ((p=malloc(len))==0) ex("malloc"); return p; } tino_STATIC char * tino_stralloc(const char *s) { char *p; if ((p=strdup(s))==0) ex("strdup"); return p; }