class token_character(token):
  """ character token """

  def __init__(self, char):
    token.__init__(self, CHARACTER)