let int2enumstate nums = 
  mk_dummy_term
    (TConst (CEnum (find_enum nums)))