class token_string(token):
  """ string token """

  def __init__(self, value):
    token.__init__(self, STRING)