Symbol: defrag_target_range