pc stuck at 78 in tb_datapath, works in tb_counter