I think ``` > "\uD800" "\ud800" ``` should be disallowed at compile time and ``` > 0xD800 as char '\ud800' ``` should assert. Or even better, the incomplete `int as char` could be removed.