let
pretty fmt x =
Format
.fprintf fmt
"state_%d"
x.nums