Symbol: tid_range