proved write_chars_overflow_check_type_unsafe