`xmalloc` is a special helper that can never return NULL — no need to check here and elsewhere.