Symbol: tok_new