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