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