I know this topic has come up before, and sorry to bring it up again. Context: I'm bringing up BitC on CLI, and planning to use antlr to do it. BitC characters cover the full unicode (20 bit) range. The good news: haracters above U+FFFF can only appear in character and string literals.