pub open spec fn has_width_1_encoding(v: u32) -> bool
{ 0 <= v <= 0x7F }
True when the given value is a Unicode scalar with a 1-byte UTF-8 encoding.