let dzone_assigned a = zone_of_assignable (assignable a)