let int2enumstate nums =
  Logic_const.term
    (TConst (CEnum (find_enum nums)))