NFA impl.