Rename xmalloc() as malloc_or_panic(),