Symbol: hints_case