beginnings of alternate NFA impl