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