We can use ```xmallocz``` here.