let
new_state (n : nfa) : state =
let
i = n.next_q
in
add n.q i;
n.next_q <- n.next_q + 1; i