Actually, it looks a bit weird, could this be replaced by `xrealloc`? Since it's a `free` followed by `xmalloc`...