add_tok
add_tok(get_escaped(c));
add_tok(c);
add_tok(get_escaped(c));
add_tok(c);
add_tok(get_escaped(c));
add_tok(c);
add_tok(get_escaped(c));
add_tok(c);