void *lll_xmalloc(size_t size);
