proved write_char_overflow_check_type_unsafe!!!