Symbol: Value_s