(alloca): xmalloc cannot return NULL, so don't test for that.