{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"///"}]}
/// This function is relatively Unicode-ignorant; fortunately, the careful design
/// may be deleted or replaced with other whitespace to match the pattern.
/// of UTF-8 mitigates this ignorance. It doesn't do NKF-normalization(?).