debugging seek in DST