debugging for TC execution