let dzone_assigned m a = zone_of_assignable (assignable m a)