Symbol: GET_TID_RANGE