Symbol: dc_scratch_space