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