Use xmalloc() and friends to catch allocation failures