Use `xmalloc`