XXX: start parallelization of TIRvish
multithread TIRvish
allow `gt eval' to evaluate TIR annotations
XXX
intermediate
intermediate debug
debug