let
dzone_empty () =
RtLib
.zs_empty