fn push_unicode_escape_digits(output: &mut String, value: u32)
Push a four-digit Unicode escape into a quoted string.