Symbol: count_trbs