public override string ToString()
{
StringBuilder sb = new StringBuilder();
sb.AppendFormat("line {0}, col {1}: {2}", _line, _col, names[_kind]);
sb.AppendFormat(" Name: {0}", _stringValue);
return sb.ToString();
}
