character tokens and tweaked semantics