Modified TLCRunner.