В этом коде всего-то ничего этих Goto, и все ведут в одно место, но анализ алгоритма в целом уже очень затрудняется, раз в 5 по сравнению с тем же кодом без Goto, и вот такие косяки вылезают практически всегда.

Собственно, приходится почти все 34 итерации в уме проматывать, держа в уме значения всех переменных. Практически асм :)

PS: Расскажи, что TX_BIT делает, тоже может подскажу что с ним сделать.