The validator can be driven incrementally, using coroutines to have and
external loop.