Stops allocation.mirror_of from potentially being NULL