char[] (String s) { char[] value; if (s.offset == 0 && s.count == s.value.length) value = s.value; else { int count = s.count; value = new char[count]; VMSystem.arraycopy(s.value, s.offset, value, 0, count); } return value; }