Constant CODEPOINT_KEY 

pub const CODEPOINT_KEY: &str = "$char";

A codepoint (a WIT char, P94), which JSON would make a text: {"$char": "b"}