let set_attribute_and_modes state_set state_attribute values_list =
  set_attribute_and_modes_internal state_set state_attribute
    (State_attribute.mask_of_values values_list)