Also, I believe that macros can not both disallow unescaped non-ASCII code points, and allow non-ASCII escapes like `\xFF`, unless the tokenizer cooperates. See https://github.com/mozilla/rust/issues/13955