let dzone_empty () = RtLib.zs_empty