let
dzone_assigned a =
RtLib
.zs_singleton (
Tint
.term_of_xzone (xzone_assigned a))