tex debugged