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