fix bug in nfa-posix.y
prototype of regex vm