Symbol: range_split_to_ptes