let int2enumstate nums =
  let enum = find_enum nums in
  Logic_const.term (TConst (CEnum enum)) (Ctype (TEnum (enum.eihost,[])))