(non_ascii_char_to_string): If C has modifier bits,