Two Witness functions runner: one process, a function per call, nothing kept.