Symbol: TOK_MARK