TeXize step 3
TeXize step -1
TeXize backtrace