debugging TCC