Symbol: case_spec