let st = ref Enumerative.empty_state