pre debug: n >= 0
post debug: result.codepoint_count >= n debug: ((result.codepoint_count != n): result = String.this)