It doesn't seem that there exists any direct way how to convert trc to avi. Nonetheless, it might be that you were in fact looking for a way how to convert Camtasia recordings to common AVI. In that case please check out the trec to avi conversion.
Open TRC file Open AVI file