sexprTokenizer and charTokenizer